-
1 проверка программы
кодовая строка; строка программы — code line
Русско-английский словарь по информационным технологиям > проверка программы
-
2 correcteur
correcteur, -trice [kɔʀεktœʀ, tʀis]1. masculine noun, feminine noun[d'examen] examiner2. masculine nouna. correcteur d'orthographe or orthographique spellcheckerb. ( = substance) correcteur d'acidité acidity regulator* * *
1.
- trice kɔʀɛktœʀ, tʀis adjectif corrective
2.
nom masculin, féminin1) ( d'examen) examiner GB, grader US2) ( d'épreuves) proofreader•Phrasal Verbs:* * *kɔʀɛktœʀ, tʀis nm/f (-trice)1) ÉDUCATION examiner, marker2) TYPOGRAPHIE proofreader* * *correcteur, - triceB ⇒ Les métiers et les professions nm,f2 Édition proofreader.C nm1 ( pour effacer) correction fluid;2 Tech controller.correcteur d'acidité Chimie, Ind acidity regulator; correcteur automatique d'orthographe Ordinat automatic spell checker; correcteur de fréquence Audio graphic equalizer; correcteur de tonalité tone control.( féminin correctrice) [kɔrɛktɶr, tris] adjectif————————, correctrice [kɔrɛktɶr, tris] nom masculin, nom féminin————————nom masculin1. [dispositif] correctorcorrecteur orthographique ou d'orthographe spell checker2. [liquide] -
3 circulación
f.1 circulation, traffic.2 circulation, blood circulation.3 currency.* * *1 (gen) circulation2 (de vehículos) traffic\estar fuera de circulación to be out of circulationponer en circulación to put into circulationquitar de la circulación / retirar de la circulación to withdraw from circulationcirculación sanguínea / circulación de la sangre blood circulationcirculación rodada vehicular traffic, trafficcódigo de (la) circulación highway code* * *noun f.* * *SF1) (Aut) trafficcirculación única — Méx one way (traffic)
2) (Med) circulationcirculación de la sangre, circulación sanguínea — circulation of the blood
3) (Econ) circulationestar fuera de circulación — to be out of circulation, be no longer current
poner algo en circulación — to issue sth, put sth into circulation
circulación fiduciaria — paper money, paper currency
* * *1) ( movimiento) movement; (Auto) traffic2) (Biol, Med) circulation3) (Fin) circulation•* * *1) ( movimiento) movement; (Auto) traffic2) (Biol, Med) circulation3) (Fin) circulation•* * *circulación11 = flow, stream of traffic, circulation, traffic, movement.Ex: The vocabulary used in conjunction with PRECIS is split in two sections, one part for Entities (or things) and the other for Attributes (properties of things, for example colour, weight; activities of things, for example flow, and properties of activities, for example, slow, turbulent).
Ex: Laura Carpozzi head of the circulation department, who was on the far side of the desk, heard the checker's outburst and espied the bottleneck in the stream of traffic.Ex: For example, the heading ' circulation of the blood' is acceptable, but the very similar 'Movement of fluids in plants' is not.Ex: Above all, we specified a variety of reader places and that all traffic in and out of the library be controlled from one point.Ex: She is a dynamic dancer and expresses her movements with ultimate power.* circulación de información = flow of information.* circulación de la información = flow of information.* circulación del aire = air flow, airflow.* circulación libre = free flow.* circulación masiva = mass circulation.* circulación por carretera = road traffic.* código de circulación = highway code.* distintivo de impuesto de circulación = road tax disc.* estado de la circulación = traffic conditions.* fuera de circulación = out of circulation.* impuesto de circulación = road tax.* libre circulación de la información = free flow of information.* libre circulación de mercancías = free movement of goods.* permiso de circulación = driving licence, driver's licence, driving permit.* permiso de circulación internacional = international driving permit, international driving licence.* seguridad de circulación en bicicleta = bicycle safety.* señal de circulación = road sign.* señalización de circulación = road signage.* sistema de circulación del agua = water circulation system.circulación2= circulation, circ [circulation].Nota: Abreviatura.Ex: Each local library is a separate administrative unit with separate and independent files for circulation, acquisitions, periodicals, and holdings.
Ex: As public library circ declines, spending continues to top inflation.* circulación de documentos = flow of documents, stock circulation.* circulación de publicaciones periódicas = periodical routing.* control de circulación = circulation control.* control de la circulación de publicaciones seriadas = serials circulation control.* departamento de circulación = circulation department.* estadística de circulación = circulation statistics.* fichero de circulación = circulation file.* hoja de circulación = routing slip, circulation slip.* lista de circulación = routing list, circulation list.* módulo de circulación = circulation system, circulation module.* mostrador de circulación = circulation desk.* poner en circulación = circulate.* sistema de circulación automatizado = automated circulation system.* * *A1 (movimiento) movementla libre circulación de los extranjeros the free movement of foreign nationals2 ( Auto) trafficCompuesto:vehicular trafficla circulación sanguínea or de la sangre the circulation of the bloodtener buena/mala circulación to have good/bad circulationC ( Fin) circulation; (de un periódico, una revista) circulationel último número fue retirado de la circulación the last issue was withdrawn from circulationestar en/fuera de circulación to be in/out of circulationla gripe lo tiene fuera de circulación (the) flu has put him out of circulationCompuesto:fiduciary money, fiat money ( AmE)* * *
circulación sustantivo femenino
(Auto) traffic
circulación sustantivo femenino
1 circulation
2 Auto (tráfico) traffic
' circulación' also found in these entries:
Spanish:
sacar
- accidente
- activar
- código
- curso
- fluido
- flujo
- impuesto
- paralizar
- retirar
English:
circulation
- flow
- highway code
- movement
- numb
- traffic
- traffic accident
- action
- call
- high
- road
- test
- withdraw
- withdrawal
* * *circulación nf1. [movimiento] movement;la libre circulación de personas the free movement of peoplela circulación atmosférica atmospheric circulation2. [de la sangre] circulation;tiene problemas de circulación he has bad circulationcirculación de la sangre circulation of the blood;circulación sanguínea circulation of the blood3. [de vehículos] trafficla circulación rodada vehicular traffic4. [de moneda, valores, revista] circulation;fuera de circulación out of circulation;poner en circulación to put into circulation;retirar de la circulación to withdraw from circulationFin circulación de capitales circulation of capital; Fin circulación fiduciaria paper currency; Fin circulación monetaria paper currency* * *f1 movement;libre circulación POL freedom of movement2 FIN, MED circulation;poner en circulación put into circulation;retirar de la circulación withdraw from circulation fuera de circulación out of circulation3 AUTO traffic* * *circulación nf, pl - ciones1) : circulation2) : movement3) : traffic* * *1. (en general) circulation2. (tráfico) traffic -
4 Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований
Универсальный русско-английский словарь > Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований
-
5 контроллер
1) General subject: controller2) Computers: adapter, host adapter3) Engineering: controller box, controlling system, manually controlled switchgroup, network controller4) Construction: perambulator6) Railway term: combination switch, master (управления), motor controller8) Electronics: automatic controller9) Information technology: cntl (сокращение), director10) Network technologies: control unit, verifier11) Automation: code conversion12) General subject: controller (компонент электроники)13) Chemical weapons: control logic (логическое управляющее устройство), controller (логическое управляющее устройство), CONR (ОУОВ)14) Makarov: control unit (в системах обработки и передачи информации), controller (в системах обработки и передачи информации), controller (для управления электродвигателями), master switch (для управления электродвигателями)15) Hi-Fi. controller (ещё одно название A/V-предварительного усилителя) -
6 circulación1
1 = flow, stream of traffic, circulation, traffic, movement.Ex. The vocabulary used in conjunction with PRECIS is split in two sections, one part for Entities (or things) and the other for Attributes (properties of things, for example colour, weight; activities of things, for example flow, and properties of activities, for example, slow, turbulent).Ex. Laura Carpozzi head of the circulation department, who was on the far side of the desk, heard the checker's outburst and espied the bottleneck in the stream of traffic.Ex. For example, the heading ' circulation of the blood' is acceptable, but the very similar 'Movement of fluids in plants' is not.Ex. Above all, we specified a variety of reader places and that all traffic in and out of the library be controlled from one point.Ex. She is a dynamic dancer and expresses her movements with ultimate power.----* circulación de información = flow of information.* circulación de la información = flow of information.* circulación del aire = air flow, airflow.* circulación libre = free flow.* circulación masiva = mass circulation.* circulación por carretera = road traffic.* código de circulación = highway code.* distintivo de impuesto de circulación = road tax disc.* estado de la circulación = traffic conditions.* fuera de circulación = out of circulation.* impuesto de circulación = road tax.* libre circulación de la información = free flow of information.* libre circulación de mercancías = free movement of goods.* permiso de circulación = driving licence, driver's licence, driving permit.* permiso de circulación internacional = international driving permit, international driving licence.* seguridad de circulación en bicicleta = bicycle safety.* señal de circulación = road sign.* señalización de circulación = road signage.* sistema de circulación del agua = water circulation system. -
7 диагностическая проверка
1. diagnostic checkпрограмма проверки опечаток, «корректор» — spelling checker
проверка на просвет; сличение на просвет — peek-a-boo check
2. diagnostic verificationРусско-английский большой базовый словарь > диагностическая проверка
-
8 программа контроля правил проектирования
Русско-английский словарь по информационным технологиям > программа контроля правил проектирования
См. также в других словарях:
Checker Marathon — Manufacturer Checker Motors Company Production 1961 1982 Assembly Kalamazoo, Michigan … Wikipedia
Code Convention — Als Programmierstil (engl. code conventions, coding conventions, coding standards) bezeichnet man einen Satz von Regeln, denen sich der Programmierer unterwirft. Üblicherweise werden hierunter Regeln verstanden, nach denen der Quelltext einer… … Deutsch Wikipedia
Checker Hall — Original name in latin Checker Hall Name in other language State code BB Continent/City America/Barbados longitude 13.28333 latitude 59.63333 altitude 56 Population 0 Date 2013 05 05 … Cities with a population over 1000 database
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
Saison 2 de Code Quantum — Série Code Quantum Pays d’origine États Unis Chaîne d’origine NBC Diffusion origina … Wikipédia en Français
SPIN model checker — SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others, and has evolved for more than 15 years. SPIN is an… … Wikipedia
Au bout du rêve (Code Quantum) — Épisodes de Code Quantum Au bout du rêve Saison 2 Épisode n° 14 Scénariste(s) … Wikipédia en Français
Couverture de code — La couverture de code (en anglais code coverage) est une mesure utilisée en génie logiciel pour décrire le taux de code source testé d un programme. Ceci permet de mesurer la qualité des tests effectués. La mesure de ce taux implique souvent l… … Wikipédia en Français
Statische Code-Analyse — oder kurz statische Analyse ist ein statisches Software Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software… … Deutsch Wikipedia
Liste des épisodes de Code Quantum — Cette page recense la liste des épisodes de la série télévisée Code Quantum. Code Quantum est une série américaine qui a été diffusée de mars 1989 à mai 1993 sur la chaîne NBC. Chronologie des saisons de Code Quantum Saison 1 8 épisodes … Wikipédia en Français
Faster Payments Service — (FPS) is a banking initiative in the United Kingdom to reduce the time taken for low value payments made person to person and business to business which normally take three working days using BACS to near real time, essentially as if the two… … Wikipedia
